Quasi-metric Spaces as Domains for Abstract Interpretation
نویسنده
چکیده
Metrics and more generally quasi-metrics are well krwwn in literature on domain theory and the semantics of programming languages. In this paper, we consider the role of quasi-metrics in defining abstract interpretations. ln fact these allow bot h to represent a notion of approximation together witll the error introduced, and to apply, under suitable conditions, Danach's contraction principle.
منابع مشابه
Fixed point theorems for generalized quasi-contractions in cone $b$-metric spaces over Banach algebras without the assumption of normality with applications
In this paper, we introduce the concept of generalized quasi-contractions in the setting of cone $b$-metric spaces over Banach algebras. By omitting the assumption of normality we establish common fixed point theorems for the generalized quasi-contractions with the spectral radius $r(lambda)$ of the quasi-contractive constant vector $lambda$ satisfying $r(lambda)in [0,frac{1}{s})$ in the set...
متن کاملCoincidence Quasi-Best Proximity Points for Quasi-Cyclic-Noncyclic Mappings in Convex Metric Spaces
We introduce the notion of quasi-cyclic-noncyclic pair and its relevant new notion of coincidence quasi-best proximity points in a convex metric space. In this way we generalize the notion of coincidence-best proximity point already introduced by M. Gabeleh et al cite{Gabeleh}. It turns out that under some circumstances this new class of mappings contains the class of cyclic-noncyclic mappings ...
متن کاملQuasi-contractive Mappings in Fuzzy Metric Spaces
We consider the concept of fuzzy quasi-contractions initiated by '{C}iri'{c} in the setting of fuzzy metric spaces and establish fixed point theorems for quasi-contractive mappings and for fuzzy $mathcal{H}$-contractive mappings on M-complete fuzzy metric spaces in the sense of George and Veeramani.The results are illustrated by a representative example.
متن کاملFixed Point Theorems on Complete Quasi Metric Spaces Via C-class and A-Class Functions
In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...
متن کاملUniformities in fuzzy metric spaces
The aim of this paper is to study induced (quasi-)uniformities in Kramosil and Michalek's fuzzy metric spaces. Firstly, $I$-uniformity in the sense of J. Guti'{e}rrez Garc'{i}a and $I$-neighborhood system in the sense of H"{o}hle and u{S}ostak are induced by the given fuzzy metric. It is shown that the fuzzy metric and the induced $I$-uniformity will generate the same $I$-neighborhood system. ...
متن کامل